Ada 2005 for deeply embedded systems
نویسنده
چکیده
The Ada 2005 standard features support for run-time profiles, flexible taskdispatching policies, execution-time clocks and timers, and a unification of concurrency and object-oriented features. Among these new facilities, one of the most significant is the standardization of the Ravenscar tasking profile. This subset of Ada tasking features embodies a deterministic concurrency model inherently amenable to static analysis and implementable by a small, reliable, and extremely efficient run-time library. The Ravenscar profile brings modern software engineering techniques to deeply embedded systems with limited resources by providing the abstraction and expressive power that help make software easier to design and test, but without compromising performance or safety.
منابع مشابه
Choosing Appropriate Programming Language to Implement Software for Real-Time Resource- Constrained Embedded Systems
ion and offers a better O-O programming style, but some of its features may cause degradation in program efficiency (Barr, 1999). Also, such a new generation O-O language is not readily available for the small embedded systems, primarily because of the overheads inherent in the O-O approach, e.g. CPU-time overhead (Pont, 2003). Despite that Ada was a leading language that provided full support ...
متن کاملChallenges In Deeply Networked System Survivability
Deeply networked systems are formed when embedded computing systems gain connectivity to each other and to larger enterprise systems. New functionality also brings new survivability challenges, including security across the embedded/enterprise interface. Addressing the needs of deeply networked system survivability is an open challenge that will require new approaches beyond those used for ente...
متن کاملDevelopment of embedded systems – from RTCP-net model to Ada code
The paper describes some aspects of the development of control embedded systems concerned with the transformation from a formal RTCP-net model into Ada 2005 source code. RTCP-nets have been defined, among other things, to equip coloured Petri nets with capability of direct modelling of elements typical for concurrent programming in Ada, such as task priorities, timeouts, etc. Hence, it is possi...
متن کاملImplementing Mixed Criticality Systems in Ada
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject to certification; the rest of the functionality is non safety-critical and does not need to be certified, or is certified to a lower level. The resulting mixed criticality system offers challenges both for static sche...
متن کاملAn Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that Ada offers for real-time systems development, would be suitable for component-based real-time applications that run on embedded platforms with limited resources. This paper proposes a model based technology for the impl...
متن کامل